/* Fichier compilé vers C */
{
return ILP_Divide( ILP_PI ,  ILP_Integer2ILP(6) ) ;
}
